Software flow control

Results: 1051



#Item
161Computing / Loop invariant / Invariant / Infinite loop / Constructible universe / For loop / Loop-invariant code motion / Invariant theory / Software engineering / Computer programming / Control flow

Maximal and Compositional Pattern-Based Loop Invariants Virginia Aponte1 , Pierre Courtieu1 , Yannick Moy2 , and Marc Sango2 1 CNAM, 292 rue Saint-Martin FParis Cedex 03 - FRANCE

Add to Reading List

Source URL: www.open-do.org

Language: English - Date: 2012-05-11 04:00:25
162Functional programming / Models of computation / Logic in computer science / Lambda calculus / Programming language semantics / Continuation-passing style / Denotational semantics / Free variables and bound variables / Closure / Software engineering / Computing / Computer programming

The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:31
163Procedural programming languages / Control flow / Source code / Cross-platform software / Subroutines / C / Yorick / Test / For loop / Computing / Software engineering / Computer programming

Yorick: An Interpreted Language David H. Munro cThe Regents of the University of California. All rights reserved. Copyright Permission to use, copy, modify, and distribute this software for any purpose without

Add to Reading List

Source URL: yorick.sourceforge.net

Language: English - Date: 2005-07-31 23:54:27
164Control flow / Procedural programming languages / High-level programming languages / Python / Eval / Assignment / Conditional / Lexical analysis / Scheme / Software engineering / Computing / Computer programming

Introduction to Computing: Explorations in Language, Logic, and Machines

Add to Reading List

Source URL: www.computingbook.org

Language: English - Date: 2011-08-19 11:52:34
165Subroutines / Lambda calculus / Control flow / Functional programming / Data types / Closure / Inline expansion / Scheme / Lambda lifting / Software engineering / Computing / Computer programming

SHard: a Scheme to Hardware Compiler Xavier Saint-Mleux Marc Feeley Jean-Pierre David

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-10 19:25:16
166Relational database management systems / Database management systems / SQL Server Integration Services / SQL / Microsoft SQL Server / Control flow / Oracle Database / Database / Windows PowerShell / Computing / Data management / Software engineering

PDF Document

Add to Reading List

Source URL: media.wiley.com

Language: English - Date: 2013-08-30 16:16:32
167Computer arithmetic / Real-time operating systems / Computer errors / Primitive types / Exception handling / RMX / Page fault / Floating point / Printf format string / Computing / Control flow / Software engineering

INtime Exception Handling

Add to Reading List

Source URL: www.tenasys.com

Language: English - Date: 2012-10-11 17:57:55
168Functional languages / List comprehension / Scheme / Generator / NPL / Control flow / Set-builder notation / Lisp / Python / Software engineering / Computing / Computer programming

Eager Comprehensions in Scheme The design of SRFI 42 Sebastian Egner Philips Research Laboratories, The Netherlands

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:12
169Programming language implementation / Formal languages / Compiler construction / Control flow / Recursive descent parser / LL parser / Left recursion / Attribute grammar / Lookahead / Software engineering / Parsing / Computing

The Yapps Parser Generator System http://theory.stanford.edu/˜amitp/Yapps/ Version 2 Amit J. Patel http://www-cs-students.stanford.edu/ amitp/ Introduction

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2002-08-09 18:50:20
170Web 2.0 / Programming paradigms / Control flow / Gmail / Internet privacy / Array programming / Foreach loop / Computing / Software engineering / Cross-platform software

San Francisco Python Meetup Nov. 14, https://davidschachter.com

Add to Reading List

Source URL: davidschachter.com

Language: English - Date: 2012-12-07 17:43:31
UPDATE